Also vmalloc_sync_all() is only defined for x86 architectures so make
use of it in driver code conditional on CONFIG_X86.
Signed-off-by: Keir Fraser <keir@xensource.com>
force_sig_info_fault(SIGBUS, BUS_ADRERR, address, tsk);
}
-#ifndef CONFIG_X86_PAE
+#if !HAVE_SHARED_KERNEL_PMD
void vmalloc_sync_all(void)
{
/*
}
/* Map page directories into every address space. */
+#ifdef CONFIG_X86
vmalloc_sync_all();
+#endif
return area;
}
#define __pmd_free_tlb(tlb, x) do { } while (0)
-#define vmalloc_sync_all() ((void)0)
+void vmalloc_sync_all(void);
#endif /* _I386_PGTABLE_3LEVEL_H */